81. Mathematical Foundations of Computer Science 1975 :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Automates séquentiels, Théorie des -- Congrès.,Computer science.,Logic design.

رده :
QA267
.
5
.
S4
B953
1975

82. Mathematical Principles of Fuzzy Logic

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Artificial intelligence.,Electronic data processing.,Logic, Symbolic and mathematical.,Mathematics.

83. Mathematical foundations of computer science 1993 :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science -- Mathematics -- Congresses.,Computer science -- Mathematics.,Informatique -- Mathématiques -- Congrès

رده :
QA76
.
9
.
M35
A537
1993

84. Mathematical logic

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Logic, Symbolic and mathematical- Textbooks

رده :
QA9
.
T68
2008

85. Meaning and Necessity

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Semantics (Philosophy),Logic, Symbolic and mathematical,معنی شناسی (فلسفه),منطق ریاضی

رده :
B840
.
C3
1956

86. Meaning and necessity; a study in semantics and modal logic

پدیدآورنده :

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)

موضوع : ، Semantics )Philosophy(,، Logic, Symbolic and mathematical

رده :
B
840
.
C3
1956

87. Meaning and necessity :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.,Semantics (Philosophy),Logic, Symbolic and mathematical.,Semantics (Philosophy)

رده :
B840
.
C3
1988

88. Meaning and necessity; a study in semantics and modal logic

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Semantics )Philosophy(,، Logic, Symbolic and mathematical

رده :
B
840
.
C27M4
1956

89. Meaning and necessity;a study in semantics and modal logic

پدیدآورنده :

کتابخانه: كتابخانه تخصصي لاتين پژوهشگاه علوم و فرهنگ اسلامي (دفتر تبليغات اسلامي حوزه علمیه قم) (قم)

موضوع : ، Semantics )Philosophy(,، Logic, Symbolic and mathematical.

رده :
B
840
.
C3
1958

90. Multi-Dimensional Modal Logic

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computational linguistics.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).

91. Objects and modalities : a study in the semantics of modal logic

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Modality )Logic(,، Semantics )Philosophy(,، Logic, Symbolic and mathematical

رده :
BC
199
.
M6T85

92. Ontology and the Iogisfc analysis of language; an enquiry into the contemporary views on Universals. Rev ed

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)

موضوع : ، Semantics )Philosophy(,، Analysis )Philosophy(,، Logic, Symbolic and mathematical

رده :
B
840
.
K813

93. Ontology and the logistic analysis of language. An enquiry into the contemporary views on universals

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)

موضوع : ، Semantics )Philosophy(,، Analysis )Philosophy(,، Logic, Symbolic and mathematical

رده :
B
840
.
K813

94. Papers in philosophical logic /

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Logic, Symbolic and mathematical.

رده :
BC135
.
L44
1998

95. Philosophische Bemerkungen. Aus dem

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)

موضوع : Semantics (Philosophy),Logic, Symbolic and mathematical,Mathematical -- Philosophy.

رده :
B
3376
.
W5
1970

96. Probabilistic Logics and Probabilistic Networks

پدیدآورنده :

کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)

موضوع : Probabilities,Mathematical statistics,Logic, Symbolic and mathematical

رده :
QA273
.
P795
2011

97. Probabilistic logics and probabilistic networks

پدیدآورنده :

کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)

موضوع : Probabilities,Mathematical statistics,Logic, Symbolic and mathematical

رده :
E-BOOK

98. Probabilistic logics and probabilistic networks

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)

موضوع : Probabilities,Mathematical statistics,Logic, Symbolic and mathematical

رده :
QA
،
273
،.
P7952
،
2011

99. Reductive logic and proof-search : proof theory, semantics, and control

پدیدآورنده :

کتابخانه: (طهران)

موضوع : ، Logic, Symbolic and mathematical,، Proof theory

رده :
QA
9
.
P965R4

100. Reductive logic and proof-search: proof theory, semantics, and control

پدیدآورنده :

کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)

موضوع : ، Logic, Symbolic and mathematical,، Proof theory

رده :
QA
9
.
P87
2004